Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
11	Formal Privacy Policy Analysis Usable Privacy Kick-off Add to Reading List Source URL: refsq.org Language: English - Date: 2018-03-26 15:20:29
12	Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-05-05 05:25:30
13	Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-20 09:42:28
14	FORMATS’08 – Call for Papers 6th International Conference on Formal Modeling and Analysis of Timed Systems Saint-Malo, France, September 15th–17th http://formats08.inria.fr/ (Co-located with QEST’08) Add to Reading List Source URL: formats08.inria.fr Language: English - Date: 2008-04-01 09:08:03 Science and technology in France Computing Computer science Concurrency French National Centre for Scientific Research Research Institute of Computer Science and Random Systems Petri net Model checking Rajeev Alur French Institute for Research in Computer Science and Automation
15	A formal analysis of the AIF in terms of the ASPIC framework Floris BEX a , Henry PRAKKEN b and Chris REED a a Argumentation Research Group, School of Computing, University of Dundee b Add to Reading List Source URL: www.arg.dundee.ac.uk Language: English - Date: 2012-11-30 10:07:21
16	Discovering Concrete Attacks on Website Authorization by Formal Analysis Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-06 10:29:30
17	Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2011-05-05 05:25:30
18	Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes? Ben Smyth1 , Mark Ryan2 , and Liqun Chen3 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-09-05 09:16:45
19	Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2010-04-20 09:42:28
20	1 Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1 Add to Reading List Source URL: www.sci.unich.it - Date: 2017-10-23 05:14:22

UPDATE